Numerical algorithms for detecting embedded components

Parallel Algorithms for Detecting Strongly Connected Components

Detecting Potential Instabilities of Numerical Algorithms

It has been the standard teaching of today that backward stability analysis is taught as absolute, just as in Newtonian physics time is taught as absolute time. We will prove that it is not true in general. It depends on algorithms. We will prove that forward and mixed stability analysis are absolutely invalid stability analysis in the sense that they have absolutely wrong reference points for ...

Interface Descriptions for Embedded Components

Embedded software systems are increasingly constructed using interacting functionalities, leading to the development of networks of communicating software components distributed over connected processors. At the same time, the growing complexitiy of the functionality as well as the increase in variations caused by product lines requires a modular development process. As repeatedly witnessed, e....

Algorithms for embedded graphs

Foreword This document is the overlapping union of some course notes that the author used in previous years for graduate courses. It is certainly not in final shape, and comments by e-mail are welcome. Each exercise is labeled with one to three stars, supposed to be an indication of its importance (in particular, depending on whether the result or technique is used later), not of its difficulty...

Error Detecting Refreshment for Embedded DRAMs

This paper presents a new technique for on-line consistency checking of embedded DRAMs. The basic idea is to use the periodic refresh operation for concurrently computing a test characteristic of the memory contents and compare it to a precomputed reference characteristic. Experiments show that the proposed technique significantly reduces the time between the occurrence of an error and its dete...